Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
961	Automatic Synthesis of Out-of-Core Algorithms Yannis Klonatos Andres Nötzli Andrej Spielmann Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-04-26 14:52:18 Algorithm Mathematical logic Theoretical computer science Function Fold Stack Divide and conquer algorithm Mathematics Computing Algorithms
962	Temporal Logic in a Stochastic Environment B. Strulo P.G. Harrisony D. Gabbay Department of Computing Imperial College LONDON SW7 2BZ Abstract Add to Reading List Source URL: pubs.doc.ic.ac.uk Language: English - Date: 2011-11-15 09:34:37 Boolean algebra Non-classical logic Logical connectives Modal logic Philosophical logic Markov chain Linear temporal logic Negation IP Logic Mathematical logic Propositional calculus
963	Building a Calculus of Data Structures Viktor Kuncak1⋆ , Ruzica Piskac1 , Philippe Suter1 , and Thomas Wies2 1 EPFL School of Computer and Communication Sciences, Lausanne, Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-11-10 09:06:44 Model theory Metalogic Proof theory Logic in computer science Formal languages First-order logic Multiset Presburger arithmetic Quantifier elimination Logic Mathematics Mathematical logic
964	On Set-Driven Combination of Logics and Verifiers LARA Technical Report, February 2, 2009 Viktor Kuncak1 and Thomas Wies1,2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-02-02 09:55:31 Model theory Logic in computer science Metalogic Predicate logic Proof theory First-order logic Satisfiability Modulo Theories Presburger arithmetic Quantifier elimination Logic Mathematical logic Theoretical computer science
965	Type Theory and Constructive Mathematics Thierry Coquand Function, Proofs, Constructions, February 21, 2014 Type Theory and Constructive Mathematics Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2014-02-23 10:00:40 Mathematical logic Mathematical constructivism Constructivism Type theory Mathematical proof Function Constructive proof Constructive set theory Mathematics Epistemology Logic
966	A Logic of Belief and Omission Hans van Ditmarsch∗ Department of Logic University of Sevilla Sevilla, Spain Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:13:55 Logical syntax Modal logic Philosophical logic Epistemic modal logic Constructible universe Proposition Doxastic logic Vacuous truth Function Logic Mathematical logic Propositional calculus
967	Future event logic - axioms and complexity Hans van Ditmarsch Logic, University of Sevilla, Spain Tim French Computer Science and Software Engineering, The University of Western Australia Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:18:06 Model theory Deduction Modal logic Metalogic Entailment Interpretation Kripke semantics Epistemic modal logic Soundness Logic Mathematical logic Philosophical logic
968	CertiCrypt Language-Based Cryptographic Proofs in Coq Gilles Barthe1,2 Benjamin Grégoire1,3 Santiago Zanella 1,3 1 Microsoft Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Mathematical proof RSA PP Provable security Cryptography Mathematics Mathematical logic
969	SMT Solvers: Theory and Implementation Summer School on Logic and Theorem Proving Leonardo de Moura Microsoft Research Add to Reading List Source URL: leodemoura.github.io Language: English - Date: 2015-05-19 13:22:05 Model theory Predicate logic Formal languages Metalogic Satisfiability Modulo Theories Interpretation Well-formed formula Structure Term Logic Mathematical logic Mathematics
970	Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Overview DEIRDRE HASKELL, ANAND PILLAY, AND CHARLES STEINHORN Add to Reading List Source URL: library.msri.org Language: English - Date: 2001-06-12 16:44:26 Abstract algebra O-minimal theory Strongly minimal theory Definable set Structure Differentially closed field Real closed field Quantifier elimination Set theory Model theory Mathematical logic Mathematics